home *** CD-ROM | disk | FTP | other *** search
/ Software USA 4 #10 / Software USA Volume 4.10.iso / mac / Educational / Googolator / Inputs / Cole.run next >
Encoding:
Text File  |  1996-09-28  |  216 b   |  7 lines  |  [TEXT/ttxt]
  1. "Check F.N.Cole's famous proof that 2^67 - 1 = 193707721 * 761838257287."
  2. ''
  3. '(2^67 - 1) - (193707721 * 761838257287) = ';
  4.  (2^67 - 1) - (193707721 * 761838257287)
  5. ''
  6. 'If the above result is zero then he was right!'
  7.